# -*- coding: utf-8 -*-
# @Author: wanghongfucoder
# @Date:   2017-07-13 21:26:41
# @Last Modified by:   w1583
# @Last Modified time: 2017-07-13 21:27:40

print(eval(input()))	